Automated Sensor Firmware Development-Generation, Optimization, and Analysis

by Jens Rudolf, Manuel Stro­bel, Joscha Benz, Chris­t­ian Haubelt, Mar­tin Radet­zki, and Oliver Bring­mann
In MBMV 2019; 22nd Work­shop-Meth­ods and De­scrip­tion Lan­guages for Mod­el­ling and Ver­i­fi­ca­tion of Cir­cuits and Sys­tems, pages 1–12. VDE, 2019.